SCHWARTZBACH, MICHAEL I.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Special Issue of Theory and Practice of Object Systems on Type Systems

Palsberg, Jens, Schwartzbach, Michael

Journal:

Theory and Practice of Object Systems

Year:

1995

File:

PDF, 73 KB

1995

2

Static typing for object-oriented programming

Jens Palsberg, Michael I. Schwartzbach

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 2.36 MB

english, 1994

3

Extending Java for high-level Web service construction

Christensen, Aske Simon, Møller, Anders, Schwartzbach, Michael I.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2003

Language:

english

File:

PDF, 925 KB

english, 2003

4

Information systems preface

Marcelo Arenas, Michael I. Schwartzbach

Journal:

Information Systems

Year:

2009

Language:

english

File:

PDF, 58 KB

english, 2009

5

Efficient inference of partial types

Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach

Journal:

Journal of Computer and System Sciences

Year:

1994

Language:

english

File:

PDF, 799 KB

english, 1994

6

Type substitution for object-oriented programming

Palsberg, Jens, Schwartzbach, Michael I.

Journal:

ACM SIGPLAN Notices

Year:

1990

Language:

english

File:

PDF, 967 KB

english, 1990

7

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1785 || A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors

Graf, Susanne, Schwartzbach, Michael

Year:

2000

Language:

english

File:

PDF, 210 KB

english, 2000

8

[ACM Press the 2007 workshop - San Diego, California, USA (2007.06.14-2007.06.14)] Proceedings of the 2007 workshop on Programming languages and analysis for security - PLAS '07 - A domain-specific programming language for secure multiparty computation

Nielsen, Janus Dam, Schwartzbach, Michael I.

Year:

2007

Language:

english

File:

PDF, 203 KB

english, 2007

9

The metafront System: Extensible Parsing and Transformation

Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 211 KB

english, 2003

10

XML graphs in program analysis

Anders Møller, Michael Schwartzbach

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 722 KB

english, 2011

11

A runtime system for interactive Web services

Claus Brabrand, Anders Møller, Anders Sandholm, Michael I Schwartzbach

Journal:

Computer Networks

Year:

1999

Language:

english

File:

PDF, 101 KB

english, 1999

12

The DSD Schema Language

Nils Klarlund, Anders Møller, Michael I. Schwartzbach

Journal:

Automated Software Engineering

Year:

2002

Language:

english

File:

PDF, 160 KB

english, 2002

13

The project

Brabrand, Claus, Møller, Anders, Schwartzbach, Michael I.

Journal:

ACM Transactions on Internet Technology

Year:

2002

Language:

english

File:

PDF, 573 KB

english, 2002

14

[ACM Press the third workshop - Portland, Oregon, United States (2000..-..)] Proceedings of the third workshop on Formal methods in software practice - FMSP '00 - DSD

Klarlund, Nils, Moller, Anders, Schwartzbach, Michael I.

Year:

2000

Language:

english

File:

PDF, 371 KB

english, 2000

15

Automatic verification of pointer programs using monadic second-order logic

Jensen, Jakob L., Jørgensen, Michael E., Schwartzbach, Michael I., Klarlund, Nils

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.24 MB

english, 1997

16

[Lecture Notes in Computer Science] TAPSOFT '95: Theory and Practice of Software Development Volume 915 || Generic techniques for source-level debugging and dynamic program slicing

Mosses, Peter D., Nielsen, Mogens, Schwartzbach, Michael I.

Year:

1995

Language:

english

File:

PDF, 1.06 MB

english, 1995

17

Static validation of XSL transformations

Møller, Anders, Olesen, Mads Østerby, Schwartzbach, Michael I.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 845 KB

english, 2007

18

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Efficient recursive subtyping

Kozen, Dexter, Palsberg, Jens, Schwartzbach, Michael I.

Year:

1993

Language:

english

File:

PDF, 641 KB

english, 1993

19

Interpretations of recursively defined types

Michael I. Schwartzbach

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 896 KB

english, 1992

20

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1785 || VIP: A Visual Editor and Compiler for v-Promela

Graf, Susanne, Schwartzbach, Michael

Year:

2000

Language:

english

File:

PDF, 481 KB

english, 2000

21

[ACM Press the ACM SIGPLAN 2001 conference - Snowbird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01 - The pointer assertion logic engine

Møller, Anders, Schwartzbach, Michael I.

Year:

2001

Language:

english

File:

PDF, 1.36 MB

english, 2001

22

PowerForms: Declarative client-side form field validation

Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach

Journal:

Year:

2000

Language:

english

File:

PDF, 625 KB

english, 2000

23

Language-Based Caching of Dynamically Generated HTML

Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach

Journal:

Year:

2002

Language:

english

File:

PDF, 231 KB

english, 2002

24

Efficient recursive subtyping

Kozen, Dexter, Palsberg, Jens, Schwartzbach, Michael I.

Journal:

Mathematical Structures in Computer Science

Year:

1995

Language:

english

File:

PDF, 685 KB

english, 1995

25

A new formalism for relational algebra

Kim S. Larsen, Michael I. Schwartzbach, Erik M. Schmidt

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 464 KB

english, 1992

26

A Double-Blind, Placebo Controlled, Dose Ranging Study to Evaluate the Safety and Biological Efficacy of the Lipid-DNA Complex GR213487B in the Nasal Epithelium of Adult Patients with Cystic Fibrosis. Glaxo Wellcome Research and Development Ltd., London, England

Knowles, Michael R., Noone, Peadar G., Hohneker, Kathy, Johnson, Larry G., Boucher, Richard C., Efthimiou, John, Crawford, Catriona, Brown, Ronan, Schwartzbach, Caryl, Pearlman, Rodney

Journal:

Human Gene Therapy

Year:

1998

Language:

english

File:

PDF, 1.70 MB

english, 1998

27

A singular choice for multiple choice

Frandsen, Gudmund S., Schwartzbach, Michael I.

Journal:

ACM SIGCSE Bulletin

Year:

2006

Language:

english

File:

PDF, 329 KB

english, 2006

28

[ACM Press Conference proceedings - Phoenix, Arizona, United States (1991.10.06-1991.10.11)] Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91 - Object-oriented type inference

Palsberg, Jens, Schwartzbach, Michael I.

Year:

1991

Language:

english

File:

PDF, 1.42 MB

english, 1991

29

MONA IMPLEMENTATION SECRETS

KLARLUND, NILS, MØLLER, ANDERS, SCHWARTZBACH, MICHAEL I.

Journal:

International Journal of Foundations of Computer Science

Year:

2002

Language:

english

File:

PDF, 2.51 MB

english, 2002

30

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Graph types

Klarlund, Nils, Schwartzbach, Michael I.

Year:

1993

Language:

english

File:

PDF, 828 KB

english, 1993

31

Static correctness of hierarchical procedures

Michael I. Schwartzbach

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.60 MB

english, 1996

32

[ACM Press the 11th ACM SIGPLAN conference - San Jose, California, United States (1996.10.06-1996.10.10)] Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '96 - Formal design constraints

Klarlund, Nils, Koistinen, Jari, Schwartzbach, Michael I.

Year:

1996

Language:

english

File:

PDF, 1.43 MB

english, 1996

33

Safety analysis versus type inference for partial types

Jens Palsberg, Michael I. Schwartzbach

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 352 KB

english, 1992

34

Type inference of SELF: Analysis of objects with dynamic and multiple inheritance

Ole Agesen, Jens Palsberg, Michael I. Schwartzbach

Journal:

Software: Practice and Experience

Year:

1995

Language:

english

File:

PDF, 1.28 MB

english, 1995

35

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1785 || FMona: A Tool for Expressing Validation Techniques over Infinite State Systems

Graf, Susanne, Schwartzbach, Michael

Year:

2000

Language:

english

File:

PDF, 208 KB

english, 2000

36

The metafront system: Safe and extensible parsing and transformation

Claus Brabrand, Michael I. Schwartzbach

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 380 KB

english, 2007

37

Dual syntax for XML languages

Claus Brabrand, Anders Møller, Michael I. Schwartzbach

Journal:

Information Systems

Year:

2008

Language:

english

File:

PDF, 801 KB

english, 2008

38

[ACM Press the ACM SIGPLAN 1997 conference - Las Vegas, Nevada, United States (1997.06.16-1997.06.18)] Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation - PLDI '97 - Automatic verification of pointer programs using monadic second-order logic

Jensen, Jakob L., Jørgensen, Michael E., Schwartzbach, Michael I., Klarlund, Nils

Year:

1997

Language:

english

File:

PDF, 1.24 MB

english, 1997

39

Formal design constraints

Klarlund, Nils, Koistinen, Jari, Schwartzbach, Michael I.

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 1.43 MB

english, 1996

40

[ACM Press the European conference on object-oriented programming - Ottawa, Canada (1990..-..)] Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications - OOPSLA/ECOOP '90 - Type substitution for object-oriented programming

Palsberg, Jens, Schwartzbach, Michael I.

Year:

1990

Language:

english

File:

PDF, 967 KB

english, 1990

41

Injectivity of Composite Functions

Kim S. Larsen, Michael I. Schwartzbach

Journal:

Journal of Symbolic Computation

Year:

1994

File:

PDF, 422 KB

1994

42

Foreword

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 73 KB

english, 1996

43

[Lecture Notes in Computer Science] Compiler Construction Volume 5501 || Register Spilling and Live-Range Splitting for SSA-Form Programs

de Moor, Oege, Schwartzbach, Michael I.

Year:

2009

Language:

english

File:

PDF, 390 KB

english, 2009

44

The pointer assertion logic engine

Møller, Anders, Schwartzbach, Michael I.

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 1.36 MB

english, 2001

45

Editorial

Palsberg, Jens, Schwartzbach, Michael

Journal:

Theory and Practice of Object Systems

Year:

1995

File:

PDF, 58 KB

1995

46

Object-oriented type inference

Palsberg, Jens, Schwartzbach, Michael I.

Journal:

ACM SIGPLAN Notices

Year:

1991

Language:

english

File:

PDF, 1.42 MB

english, 1991

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски